P. Heister : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (500+)
Les plus populaires
Liste
- Liste
- Tableau

1

Generalized Definitional Reflection and the Inversion Principle

Peter Schroeder-Heister

Journal:

Logica Universalis

Année:

2007

Langue:

english

Fichier:

PDF, 217 KB

english, 2007

2

Proof-Theoretic Semantics, Self-Contradiction, and the Format of Deductive Reasoning

Peter Schroeder-Heister

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 522 KB

english, 2012

3

[American Institute of Aeronautics and Astronautics 45th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Denver, Colorado (02 August 2009 - 05 August 2009)] 45th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Development and Launch of the Purdue Hybrid Rocket Technology Demonstrator

Tsohas, John, Appel, Brad, Rettenmaier, Andrew, Walker, Mike, Heister, Stephen

Année:

2009

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2009

4

Experimental Study of Gas Turbine Combustion With Elevated Fuel Temperatures

Wiest, Heather K., Heister, Stephen D.

Journal:

Journal of Engineering for Gas Turbines and Power

Année:

2014

Langue:

english

Fichier:

PDF, 4.47 MB

english, 2014

5

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

Peter Schroeder-Heister

Journal:

Journal of Philosophical Logic

Année:

2011

Langue:

english

Fichier:

PDF, 237 KB

english, 2011

6

An Adolescent Vampire Cult in Rural America: Clinical Issues and Case Study

Thomas W. Miller, Lane J. Veltkamp, Robert F. Kraus, Tina Lane, Tag Heister

Journal:

Child Psychiatry & Human Development

Année:

1999

Langue:

english

Fichier:

PDF, 585 KB

english, 1999

7

A Natural Extension of Natural Deduction

Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Année:

1984

Langue:

english

Fichier:

PDF, 355 KB

english, 1984

8

[American Institute of Aeronautics and Astronautics 43rd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Cincinnati, OH ()] 43rd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Rocket Grade Hydrogen Peroxide (RGHP) for use in Propulsion and Power Devices - Historical Discussion of Hazards

Ventura, Mark, Wernimont, Eric, Heister, Stephen, Yuan, Steve

Année:

2007

Langue:

english

Fichier:

PDF, 634 KB

english, 2007

9

Popper's theory of deductive inference and the concept of a logical constant

Schroeder-Heister, Peter

Journal:

History and Philosophy of Logic

Année:

1984

Langue:

english

Fichier:

PDF, 1.41 MB

english, 1984

10

Analysis of ballistic anomalies in solid rocket motors

HEISTER, S. D., LANDSBAUM, E. M.

Journal:

Journal of Propulsion and Power

Année:

1991

Langue:

english

Fichier:

PDF, 837 KB

english, 1991

11

Supersonic Nozzle Flow Simulations for Particle Coating Applications: Effects of Shockwaves, Nozzle Geometry, Ambient Pressure, and Substrate Location upon Flow Characteristics

Jung-Jae Park, Min-Wook Lee, Sam S. Yoon, Ho-Young Kim, Scott C. James, Stephen D. Heister, Sanjeev Chandra, Woon-Ha Yoon, Dong-Soo Park, Jungho Ryu

Journal:

Journal of Thermal Spray Technology

Année:

2011

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2011

12

High accuracy mantle convection simulation through modern numerical methods

Martin Kronbichler, Timo Heister, Wolfgang Bangerth

Journal:

Geophysical Journal International

Année:

2012

Langue:

english

Fichier:

PDF, 2.56 MB

english, 2012

13

Droplet size control in liquid jet breakup

Hilbing, James H., Heister, Stephen D.

Journal:

Physics of Fluids

Année:

1996

Langue:

english

Fichier:

PDF, 380 KB

english, 1996

14

Optimization of hybrid-rocket-booster fuel-grain design

Vonderwell, D. J., Murray, I. F., Heister, S. D.

Journal:

Journal of Spacecraft and Rockets

Année:

1995

Langue:

english

Fichier:

PDF, 824 KB

english, 1995

15

Modeling Cavitating Venturi Flows

Xu, Changhai, Heister, Stephen D., Field, Robert

Journal:

Journal of Propulsion and Power

Année:

2002

Langue:

english

Fichier:

PDF, 341 KB

english, 2002

16

Application of a Genetic Algorithm to the Optimization of Hybrid Rockets

Schoonover, P. L., Crossley, W. A., Heister, S. D.

Journal:

Journal of Spacecraft and Rockets

Année:

2000

Langue:

english

Fichier:

PDF, 258 KB

english, 2000

17

Hydrogen peroxide as an alternate oxidizer for a hybrid rocket booster

Ventura, M. C., Heister, S. D.

Journal:

Journal of Propulsion and Power

Année:

1995

Langue:

english

Fichier:

PDF, 623 KB

english, 1995

18

Dynamic Response of Rocket Swirl Injectors, Part I: Wave Reflection and Resonance

Ismailov, Maksud, Heister, Stephen D.

Journal:

Journal of Propulsion and Power

Année:

2011

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2011

19

High Accuracy Mantle Convection Simulation through Modern Numerical Methods. II: Realistic Models and Problems

Heister, Timo, Dannberg, Juliane, Gassmöller, Rene, Bangerth, Wolfgang

Journal:

Geophysical Journal International

Année:

2017

Langue:

english

Fichier:

PDF, 7.64 MB

english, 2017

20

CPU Ray Tracing of TreeâBased Adaptive Mesh Refinement Data

Wang, Feng, Marshak, Nathan, Usher, Will, Burstedde, Carsten, Knoll, Aaron, Heister, Timo, Johnson, Chris R.

Journal:

Computer Graphics Forum

Année:

2020

Fichier:

PDF, 19.53 MB

2020

21

Droplet bounce simulations and air pressure effects on the deformation of pre-impact droplets, using a boundary element method

Hongbok Park, Sam S. Yoon, Richard A. Jepsen, Stephen D. Heister, Ho Y. Kim

Journal:

Engineering Analysis with Boundary Elements

Année:

2008

Langue:

english

Fichier:

PDF, 788 KB

english, 2008

22

Verschluß einer Gaumenspalte bei einer Patientin mit Ebstein-Anomalie unter Hochfrequenzoszillationsbeatmung

T. Humpl, P. Heister, P.-P. Kleemann, W. Wagner, F. X. Schmid, R. G. Huth, D. Schranz

Journal:

Monatsschrift Kinderheilkunde

Année:

1998

Langue:

german

Fichier:

PDF, 823 KB

german, 1998

23

Frege’s permutation argument revisited

Kai Frederick Wehmeier, Peter Schroeder-Heister

Journal:

Année:

2005

Langue:

english

Fichier:

PDF, 204 KB

english, 2005

24

Introduction: Proof-theoretic Semantics

Reinhard Kahle, Peter Schroeder-Heister

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 155 KB

english, 2006

25

Mineralisation and structural changes during the initial phase of microbial degradation of pyrogenic plant residues in soil

André Hilscher, Katja Heister, Christian Siewert, Heike Knicker

Journal:

Organic Geochemistry

Année:

2009

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2009

26

[American Institute of Aeronautics and Astronautics 38th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Indianapolis, Indiana (07 July 2002 - 10 July 2002)] 38th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Characterization of Pintle Engine Performance for Nontoxic Hypergolic Bipropellants

Austin, Benjamin, Heister, Stephen

Année:

2002

Langue:

english

Fichier:

PDF, 846 KB

english, 2002

27

Numerical Modeling of Injection of Shear-Thinning Gel Propellants Through Plain-Orifice Atomizer

Heister, Stephen, Xia, Guoping, Merkle, Charles L.

Journal:

Journal of Propulsion and Power

Année:

2011

Langue:

english

Fichier:

PDF, 3.73 MB

english, 2011

28

Simulations of Plain-Orifice Injection of Gelled Propellants Under Manifold Crossflow Conditions

Yoon, Changjin, Heister, Stephen D., Merkle, Charles L., Xia, Guoping

Journal:

Journal of Propulsion and Power

Année:

2013

Langue:

english

Fichier:

PDF, 9.08 MB

english, 2013

29

Thermoelectric Generators for Automotive Waste Heat Recovery Systems Part I: Numerical Modeling and Baseline Model Analysis

Sumeet Kumar, Stephen D. Heister, Xianfan Xu…

Journal:

Journal of Electronic Materials

Année:

2013

Langue:

english

Fichier:

PDF, 769 KB

english, 2013

30

[American Institute of Aeronautics and Astronautics 42nd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Sacramento, California ()] 42nd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Hydrodynamic Modeling of Swirl Injectors with Multiple Rows of Tangential Channels

Zakharov, Sergey, Richardson, Renith, Heister, Stephen

Année:

2006

Langue:

english

Fichier:

PDF, 468 KB

english, 2006

31

[American Institute of Aeronautics and Astronautics 43rd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Cincinnati, OH ()] 43rd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Performance Characterization and Schlieren Visualization of Flame Acceleration in Valveless Pulsed Detonation Combustors

shimo, masa, heister, stephen

Année:

2007

Langue:

english

Fichier:

PDF, 1.64 MB

english, 2007

32

[American Institute of Aeronautics and Astronautics 43rd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Cincinnati, OH ()] 43rd AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Design of an Altitude-testing Facility for Lab-scale Propulsion Devices

Otterstatter, Matthew, Meyer, Scott, Heister, Stephen, Dambach, Erik

Année:

2007

Langue:

english

Fichier:

PDF, 442 KB

english, 2007

33

[American Institute of Aeronautics and Astronautics 45th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Denver, Colorado (02 August 2009 - 05 August 2009)] 45th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit - Numerical Simulations of Gel Propellant Flow Through Orifices

Yoon, Changjin, Heister, Stephen, Xia, Guoping, Merkle, Charles

Année:

2009

Langue:

english

Fichier:

PDF, 5.42 MB

english, 2009

34

Experimental Investigation of High-Burning-Rate Composite Solid Propellants

Manship, Timothy D., Heister, Stephen D., O'Neil, Patrick T.

Journal:

Journal of Propulsion and Power

Année:

2012

Langue:

english

Fichier:

PDF, 3.09 MB

english, 2012

35

Algorithms and data structures for massively parallel generic adaptive finite element codes

Bangerth, Wolfgang, Burstedde, Carsten, Heister, Timo, Kronbichler, Martin

Journal:

ACM Transactions on Mathematical Software

Année:

2011

Langue:

english

Fichier:

PDF, 1.28 MB

english, 2011

36

Experimental Study of Erosive and Dynamic Burning in Polybutadiene-Based Composite Propellants

Rettenmaier, Andrew K., Heister, S. D.

Journal:

Journal of Propulsion and Power

Année:

2013

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2013

37

Combustion Experiments in Hydrogen Peroxide/Polyethylene Hybrid Rocket with Catalytic Ignition

Wernimont, E. J., Heister, S. D.

Journal:

Journal of Propulsion and Power

Année:

2000

Langue:

english

Fichier:

PDF, 342 KB

english, 2000

38

The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony

Schroeder-Heister, Peter

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 306 KB

english, 2014

39

Artificial soil studies reveal domain-specific preferences of microorganisms for the colonisation of different soil minerals and particle size fractions

Hemkemeyer, Michael, Pronk, Geertje J., Heister, Katja, Kögel-Knabner, Ingrid, Martens, Rainer, Tebbe, Christoph C.

Journal:

FEMS Microbiology Ecology

Année:

2014

Langue:

english

Fichier:

PDF, 339 KB

english, 2014

40

Metal oxides, clay minerals and charcoal determine the composition of microbial communities in matured artificial soils and their response to phenanthrene

Babin, Doreen, Ding, Guo-Chun, Pronk, Geertje Johanna, Heister, Katja, Kögel-Knabner, Ingrid, Smalla, Kornelia

Journal:

FEMS Microbiology Ecology

Année:

2013

Langue:

english

Fichier:

PDF, 1.30 MB

english, 2013

41

Mineral composition and charcoal determine the bacterial community structure in artificial soils

Ding, Guo-Chun, Pronk, Geertje Johanna, Babin, Doreen, Heuer, Holger, Heister, Katja, Kögel-Knabner, Ingrid, Smalla, Kornelia

Journal:

FEMS Microbiology Ecology

Année:

2013

Langue:

english

Fichier:

PDF, 368 KB

english, 2013

42

Predicting burning time variations in solid rocket motors

HEISTER, S. D., DAVIS, R. J.

Journal:

Journal of Propulsion and Power

Année:

1992

Langue:

english

Fichier:

PDF, 875 KB

english, 1992

43

Characterization of Ethylenediamine Bisborane as a Hypergolic Hybrid Rocket Fuel Additive

Pfeil, Mark A., Dennis, Jacob D., Son, Steven F., Heister, Stephen D., Pourpoint, Timothee L., Ramachandran, P. Veeraraghavan

Journal:

Journal of Propulsion and Power

Année:

2015

Langue:

english

Fichier:

PDF, 9.32 MB

english, 2015

44

Modeling the Effect of Unsteady Chamber Conditions on Atomization Process

Rump, K. M., Heister, S. D.

Journal:

Journal of Propulsion and Power

Année:

1998

Langue:

english

Fichier:

PDF, 203 KB

english, 1998

45

Characterization of Pintle Engine Performance for Nontoxic Hypergolic Bipropellants

Austin, B. L., Heister, S. D., Anderson, W. E.

Journal:

Journal of Propulsion and Power

Année:

2005

Langue:

english

Fichier:

PDF, 655 KB

english, 2005

46

Recent frege studies

Schroeder-Heister, Peter, Gottfried Gabriel, Rezensiert von

Journal:

History and Philosophy of Logic

Année:

1983

Langue:

english

Fichier:

PDF, 460 KB

english, 1983

47

Book Reviews

Smith, Robin, Green-Pedersen, N.J., Holdcroft, David, Peter Schroeder-Heister, Rezensiert von, Loptson, Peter, Hodes, Harold, Corrado Mangione, Recensione di, Simons, P.M., Tee, G.J.

Journal:

History and Philosophy of Logic

Année:

1984

Langue:

english

Fichier:

PDF, 2.77 MB

english, 1984

48

Parkinson's: symptoms, treatments and research

Heisters, Daiga

Journal:

British Journal of Nursing

Année:

2011

Langue:

english

Fichier:

PDF, 609 KB

english, 2011

49

Dynamic Response of Rocket Swirl Injectors, Part II: Nonlinear Dynamic Response

Ismailov, Maksud, Heister, Stephen D.

Journal:

Journal of Propulsion and Power

Année:

2011

Langue:

english

Fichier:

PDF, 1.28 MB

english, 2011

50

Experimental Study Swirl Injector Dynamic Response Using a Hydromechanical Pulsator

Ahn, Benjamin, Ismailov, Maksud, Heister, Stephen

Journal:

Journal of Propulsion and Power

Année:

2012

Langue:

english

Fichier:

PDF, 6.56 MB

english, 2012